|
Название проекта |
Город |
Организация |
Автор |
|
Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
РАЗРАБОТКА ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ |
Минск |
|
Новиков Яков Андреевич |
|
Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Закревский Аркадий Дмитриевич |
|
Pathfinder ("Следопыт") |
Москва |
ФРТК МФТИ, м.н.с. НИИ "Вычислительные технологии" (отделение САПР) |
Рыженко Николай Владимирович |
|
Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов |
Санкт-Пeтербург |
Санкт-Петербургский институт точной механики и оптики (технического университета) |
Шалыто Анатолий Абрамович |
|
UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей |
Санкт-Пeтербург |
Санкт-Петербургский государственный университета |
Кожевников Арист Александрович |
|
Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС |
Санкт-Пeтербург |
Санкт-Петербургский государственный электротехнический университет |
Зуев Игорь Станиславович |
|
Оптимизация цифровых схем на основе решения автоматных уравнений |
Томск |
Томский государственный университет |
Нина В. Евтушенко |
|
Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле |
Таганрог |
Таганрогский государственный радиотехнический университет |
Коноплев Борис Георгиевич |
|
РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС |
Киев |
Национальный Технический Университет Украины "Киевский политехнический институт" |
Петренко Анатолий Иванович |
|
МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ) |
Львов |
Национальный университет «Львовская политехника» |
Базилевич Роман Петрович |
|
SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ |
Харьков |
Харьковский национальный университет проектирования радиоэлектроники |
Хаханов Владимир Иванович |